Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-3 of  3 نتائج ل ""Batoumi""

فلترة النتائج

Collection : Universite Toulouse 2 - Jean Jaures فلترة بواسطة : موضوع
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Modal logics with a restricted universal modality

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Batoumi; GeorgiaBatoumi, Georgia

  • Source: 13th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019)https://hal.science/hal-0241126513th International Tbilisi Symposium on Language, Logic and Computation

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Iterated structures are not modally definable

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Batoumi; GeorgiaBatoumi, Georgia

  • Source: 13th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019)https://hal.science/hal-0241126913th International Tbilisi Symposium on Language, Logic and Computation

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Decidable and undecidable problems for first-order definability and modal definability

Subjects: First-order definability; Modal definability; Chagrova's TheoremsBatoumi; GeorgiaBatoumi, Georgia

  • Source: Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers ; ISBN: 978-3-030-98478-6 ; Thirteenth

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-3 of  3 نتائج ل ""Batoumi""